|
D
Darlington, 47, 487, 488, 496
datatype, 231, 232, 233, 234, 240, 242,
243, 244, 246, 254, 255, 256, 259, 260,
262, 264, 266, 267, 268, 269, 271, 274,
275, 277, 278, 280, 281, 289, 310, 369,
370, 371, 372, 373, 376, 444, 458, 463,
464, 466, 467, 468, 477
Davis-Putnam procedure, 349
de dicto, 83
de re, 83
DEC- 10 Prolog, 345
declarative, 1, 2, 3, 18
deep syntax, 370, 373, 374, 376, 377
default, 362, 460, 466
denotational semantics, 316
dependent types, xi, 262, 263, 264
depth-first search, 442
dereferencing, 350
derivation rule, 232, 235
destructive, 82, 83, 84, 90, 91, 97
determiner, 132, 291, 292
Diller, 230, 488
disjunction, 217, 219, 260, 307, 308
distinguished symbol, 134
domain specific language, 118
dotted pair, 52, 53
double precision arithmetic, 34
DSL, 118
dump, 320, 321
dynamic binding, 335, 336
dynamic scope, 335
dynamic type checking, 199, 200
|
|
